John A. McDermid : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (100)
Les plus populaires
Liste
- Liste
- Tableau

1

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective

Burton, Simon, Habli, Ibrahim, Lawton, Tom, McDermid, John, Morgan, Phillip, Porter, Zoe

Journal:

Artificial Intelligence

Année:

2020

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2020

2

Mindfulness-based skills training group for parents of obsessive-compulsive disorder-affected children: A caregiver-focused intervention

Belschner, Laura, Lin, Sarah Yao, Yamin, Diana Franco, Best, John R., Edalati, Kourosh, McDermid, Joanna, Stewart, S. Evelyn

Journal:

Complementary Therapies in Clinical Practice

Année:

2020

Langue:

english

Fichier:

PDF, 1.57 MB

english, 2020

3

Support for safety cases and safety arguments using SAM

John A. McDermid

Journal:

Reliability Engineering & System Safety

Année:

1994

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1994

4

A model for a causal logic for requirements engineering

Jonathan Moffett, Jon Hall, Andrew Coombes, John McDermid

Journal:

Requirements Engineering

Année:

1996

Langue:

english

Fichier:

PDF, 1.88 MB

english, 1996

5

Selecting an Ada Environment

Journal:

Electronics and Power

Année:

1987

Langue:

english

Fichier:

PDF, 208 KB

english, 1987

6

[IEEE 2011 IEEE International Conference on Service Operations and Logistics and Informatics (SOLI) - Beijing, China (2011.07.10-2011.07.12)] Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics - Automatic safety analysis of of computer-based railway signalling system

Niu, Ru, Tang, Tao, Lisagor, Oleg, McDermid, John

Année:

2011

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2011

7

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Human involvement in dynamic reconfiguration of Integrated Modular Avionics

Montano, Giuseppe, McDermid, John

Année:

2008

Langue:

english

Fichier:

PDF, 628 KB

english, 2008

8

Safety and software

Journal:

Electronics and Power

Année:

1986

Langue:

english

Fichier:

PDF, 211 KB

english, 1986

9

Seasonal change in understory reflectance of boreal forests and influence on canopy vegetation indices

Miller, John R., White, H. Peter, Chen, Jing M., Peddle, Derek R., McDermid, Greg, Fournier, Richard A., Shepherd, Paul, Rubinstein, Irene, Freemantle, Jim, Soffer, Raymond, LeDrew, Ellsworth

Journal:

Journal of Geophysical Research

Année:

1997

Langue:

english

Fichier:

PDF, 983 KB

english, 1997

10

[IEEE 2010 AGILE Conference - Nashville, TN, USA (2010.08.9-2010.08.13)] 2010 Agile Conference - An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

Ge, Xiaocheng, Paige, Richard F., McDermid, John A.

Année:

2010

Langue:

english

Fichier:

PDF, 261 KB

english, 2010

11

Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment

Rae, Andrew, Alexander, Rob, McDermid, John

Journal:

Reliability Engineering & System Safety

Année:

2014

Langue:

english

Fichier:

PDF, 370 KB

english, 2014

12

Software fault trees and weakest preconditions: a comparison and analysis

Clarke, Stephen J., McDermid, John A.

Journal:

Software Engineering Journal

Année:

1993

Langue:

english

Fichier:

PDF, 5.21 MB

english, 1993

13

4 Tailoring Generic Systems Engineering Processes: an agent-oriented method

Murdoch, John, McDermid, John A., Wilkinson, Philip

Journal:

INCOSE International Symposium

Année:

1999

Langue:

english

Fichier:

PDF, 506 KB

english, 1999

14

4.2.1 Process Tailoring in Iterative Development

Murdoch, John, McDermid, John A., Wilkinson, Philip

Journal:

INCOSE International Symposium

Année:

2001

Langue:

english

Fichier:

PDF, 549 KB

english, 2001

15

Factors influencing progress through the liminal phase: a model to assist transition into nurse academic life

McDermid, Fiona, Mannix, Judy, Jackson, Debra, Daly, John, Peters, Kath

Journal:

Nurse Education Today

Année:

2017

Langue:

english

Fichier:

PDF, 390 KB

english, 2017

16

An Enhanced Vehicle Control Model for Assessing Highly Automated Driving Safety

Monkhouse, Helen E., Habli, Ibrahim, McDermid, John

Journal:

Reliability Engineering & System Safety

Année:

2020

Fichier:

PDF, 3.13 MB

2020

17

Parental origin of the extra chromosome in the cat eye syndrome: Evidence from heteromorphism and in situ hybridization analysis

Dr. R. E. Magenis, R. R. Sheehy, M. G. Brown, H. E. McDermid, B. N. White, J. Zonana, R. Weleber, John M. Optiz, James F. Reynolds

Journal:

American Journal of Medical Genetics Part A

Année:

1988

Langue:

english

Fichier:

PDF, 714 KB

english, 1988

18

When are Two Waters Worse Than One? Doubling the Hydration Number of a Gd–DTPA Derivative Decreases Relaxivity

Peter Caravan, John C. Amedio Jr., Stephen U. Dunham, Matthew T. Greenfield, Normand J. Cloutier, Sarah A. McDermid, Marga Spiller, Stephan G. Zech, Richard J. Looby, Arnold M. Raitsimring, Thomas J.

Journal:

Chemistry - A European Journal

Année:

2005

Langue:

english

Fichier:

PDF, 177 KB

english, 2005

19

Cover Picture: When are Two Waters Worse Than One? Doubling the Hydration Number of a Gd–DTPA Derivative Decreases Relaxivity (Chem. Eur. J. 20/2005)

Peter Caravan, John C. Amedio Jr., Stephen U. Dunham, Matthew T. Greenfield, Normand J. Cloutier, Sarah A. McDermid, Marga Spiller, Stephan G. Zech, Richard J. Looby, Arnold M. Raitsimring, Thomas J.

Journal:

Chemistry - A European Journal

Année:

2005

Langue:

english

Fichier:

PDF, 151 KB

english, 2005

20

Refactoring service-based systems: how to avoid trusting a workflow service

Howard Chivers, John McDermid

Journal:

Concurrency and Computation: Practice and Experience

Année:

2006

Langue:

english

Fichier:

PDF, 216 KB

english, 2006

21

An integrated tool set for software safety analysis

Peter Fenelon, John A McDermid

Journal:

Journal of Systems and Software

Année:

1993

Langue:

english

Fichier:

PDF, 1.48 MB

english, 1993

22

A model-oriented approach to safety analysis using fault trees and a support system

Shaoying Liu, John A. McDermid

Journal:

Journal of Systems and Software

Année:

1996

Langue:

english

Fichier:

PDF, 1.35 MB

english, 1996

23

Issues in developing software for safety critical systems

John A. McDermid

Journal:

Reliability Engineering & System Safety

Année:

1991

Langue:

english

Fichier:

PDF, 47 KB

english, 1991

24

Integrating safety and formal analyses using UML and PFS

Frantz Iwu, Andy Galloway, John McDermid, Ian Toyn

Journal:

Reliability Engineering & System Safety

Année:

2007

Langue:

english

Fichier:

PDF, 716 KB

english, 2007

25

Establishing timing requirements for control loops in real-time systems

Iain Bate, John McDermid, Peter Nightingale

Journal:

Microprocessors and Microsystems

Année:

2003

Langue:

english

Fichier:

PDF, 344 KB

english, 2003

26

Investigating the effectiveness of object-oriented testing strategies using the mutation method

Sun-Woo Kim, John A. Clark, John A. McDermid

Journal:

Software Testing, Verification and Reliability

Année:

2001

Langue:

english

Fichier:

PDF, 181 KB

english, 2001

27

Isolation and characterization of an α-satellite repeated sequence from human chromosome 22

Heather E. McDermid, Alessandra M. V. Duncan, Michael J. Higgins, John L. Hamerton, Edward Rector, Klaus R. Brasch, Bradley N. White

Journal:

Année:

1986

Langue:

english

Fichier:

PDF, 1.04 MB

english, 1986

28

A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries

Yiannis Papadopoulos, John A. McDermid

Journal:

Requirements Engineering

Année:

1998

Langue:

english

Fichier:

PDF, 614 KB

english, 1998

29

THE DISTRIBUTION OF BLOOD, SERUM PROTEIN AND ENZYME GROUPS IN A SERIES OF LEBANESE IN AUSTRALIA

Blake, NM, Kirk, RL, McDermid, EM, Case, John, Bashir, Helen

Journal:

Immunology & Cell Biology

Année:

1973

Langue:

english

Fichier:

PDF, 717 KB

english, 1973

30

CADi: An architecture for Z tools and its implementation

Ian Toyn, John A. McDermid

Journal:

Software: Practice and Experience

Année:

1995

Langue:

english

Fichier:

PDF, 1.63 MB

english, 1995

31

Developmental changes in the synthesis of haemolymph polypeptides and their sequestration by the prepupal fat body in Calpodes ethlius stöll (Lepidoptera:Hesperiidae)

John Locke, Heather McDermid, Tim Brac, Burr G. Atkinson

Journal:

Insect Biochemistry

Année:

1982

Langue:

english

Fichier:

PDF, 669 KB

english, 1982

32

Seasonal growth of the coral reef macroalga Dictyosphaeria cavernosa (Forskål) Børgesen and the effects of nutrient availability, temperature and herbivory on growth rate

John Stimson, Scott Larned, Karla McDermid

Journal:

Journal of Experimental Marine Biology and Ecology

Année:

1996

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1996

33

Editorial: Mascot 3

Journal:

Software Engineering Journal

Année:

1986

Langue:

english

Fichier:

PDF, 118 KB

english, 1986

34

Editorial

Dowsing, Roy, Davies, Owen, McDermid, John

Journal:

Software & Microsystems

Année:

1985

Langue:

english

Fichier:

PDF, 112 KB

english, 1985

35

The IEE and software engineers

Journal:

Software & Microsystems

Année:

1985

Langue:

english

Fichier:

PDF, 734 KB

english, 1985

36

Editorial

Dowsing, Roy, Davies, Owen, McDermid, John

Journal:

Software & Microsystems

Année:

1985

Langue:

english

Fichier:

PDF, 103 KB

english, 1985

37

Comparison of properties of collected cells and cells from the culture vessel during continuous culture of Streptococcus mutans Ingbritt

JOHN A. MAYO, ANN S. McDERMID, PHILIP D. MARSH, DEREK C. ELLWOOD

Journal:

Journal of Applied Microbiology

Année:

1989

Langue:

english

Fichier:

PDF, 493 KB

english, 1989

38

Measurement intercomparison of the JPL and GSFC stratospheric ozone lidar systems

McDermid, I. Stuart, Godin, Sophie M., Lindqvist, L. Oscar, Walsh, T. Daniel, Burris, John, Butler, James, Ferrare, Richard, Whiteman, David, McGee, Thomas J.

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 615 KB

english, 1990

39

Remnants of a Cretaceous intra-oceanic subduction system within the Yarlung–Zangbo suture (southern Tibet)

Jonathan C. Aitchison, Badengzhu, Aileen M. Davis, Jianbing Liu, Hui Luo, John G. Malpas, Isabella R.C. McDermid, Hiyun Wu, Sergei V. Ziabrev, Mei-fu Zhou

Journal:

Earth and Planetary Science Letters

Année:

2000

Langue:

english

Fichier:

PDF, 590 KB

english, 2000

40

Emphysematous pyelonephritis: case report and review of the literature

Kevin P. McDermid, John Watterson, Stephan F. van Eeden

Journal:

Diabetes Research and Clinical Practice

Année:

1999

Langue:

english

Fichier:

PDF, 232 KB

english, 1999

41

Characterization of the adenosine deaminase-related growth factor (ADGF) gene family in Drosophila

Stephanie A. Maier, Lynn Podemski, Sean W. Graham, Heather E. McDermid, John Locke

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 985 KB

english, 2001

42

Factors contributing to the shortage of nurse faculty: A review of the literature

Fiona McDermid, Kath Peters, Debra Jackson, John Daly

Journal:

Nurse Education Today

Année:

2012

Langue:

english

Fichier:

PDF, 223 KB

english, 2012

43

The Interaction of MS-325 with Human Serum Albumin and Its Effect on Proton Relaxation Rates

Caravan, Peter, Cloutier, Normand J., Greenfield, Matthew T., McDermid, Sarah A., Dunham, Stephen U., Bulte, Jeff W. M., Amedio,, John C., Looby, Richard J., Supkowski, Ronald M., Horrocks,, William D

Journal:

Journal of the American Chemical Society

Année:

2002

Langue:

english

Fichier:

PDF, 223 KB

english, 2002

44

Introducing Goal Structuring Notation to Explain Decisions in Clinical Practice

Xiaocheng Ge, Rui Rijo, Richard F. Paige, Tim P. Kelly, John A. McDermid

Journal:

Procedia Technology

Année:

2012

Langue:

english

Fichier:

PDF, 297 KB

english, 2012

45

Lidar observations of ozone changes induced by subpolar air mass motion over Table Mountain, California (34.4°N)

McGee, Thomas J., Newman, Paul, Ferrare, Richard, Whiteman, David, Butler, James, Burris, John, Godin, Sophie, McDermid, I. Stuart

Journal:

Journal of Geophysical Research

Année:

1990

Langue:

english

Fichier:

PDF, 350 KB

english, 1990

46

Environmental, biological and anthropogenic effects on grizzly bear body size: temporal and spatial considerations

Nielsen, Scott E, Cattet, Marc RL, Boulanger, John, Cranston, Jerome, McDermid, Greg J, Shafer, Aaron BA, Stenhouse, Gordon B

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 556 KB

english, 2013

47

Trusted Product Lines

Hutchesson, Stuart, McDermid, John

Journal:

Information and Software Technology

Année:

2013

Langue:

english

Fichier:

PDF, 2.01 MB

english, 2013

48

Assurance cases and prescriptive software safety certification: A comparative study

Hawkins, Richard, Habli, Ibrahim, Kelly, Tim, McDermid, John

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 2.49 MB

english, 2013

49

[IEEE 2006 30th Annual IEEE/NASA Software Engineering Workshop - Columbia, MD, USA (2006.04.24-2006.04.28)] 2006 30th Annual IEEE/NASA Software Engineering Workshop - Using Simulation to Validate Style-Specific Architectural Refactoring Patterns

Stephenson, Zoe, McDermid, John, Choy, Jason

Année:

2006

Langue:

english

Fichier:

PDF, 208 KB

english, 2006

50

Large-scale complex IT systems

Sommerville, Ian, Cliff, Dave, Calinescu, Radu, Keen, Justin, Kelly, Tim, Kwiatkowska, Marta, Mcdermid, John, Paige, Richard

Journal:

Communications of the ACM

Année:

2012

Langue:

english

Fichier:

PDF, 527 KB

english, 2012